1. Formal aspects in security and trust :
پدیدآورنده : Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Formal methods (Computer science), Congresses.,Public key infrastructure (Computer security), Congresses.
